Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Joanna Golinska-Pilarek

◀ ▶ joint publications with Ángel Mora 0001

> Home > Persons > Joanna Golinska-Pilarek

Publications

2016
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/japll/Golinska-Pilarek16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/Golinska-Pilarek16
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora:
Tableau reductions: Towards an optimal decision procedure for the modal necessity. J. Appl. Log. 17: 14-24 (2016)
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/softcomp/Golinska-PilarekMM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/softcomp/Golinska-PilarekMM13
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora:
Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K. SOCO-CISIS-ICEUTE 2013: 429-438
2012
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Golinska-PilarekMB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Golinska-PilarekMB12
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora-Bonilla:
Relational dual tableau decision procedure for modal logic K. Log. J. IGPL 20(4): 747-756 (2012)
2011
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Golinska-PilarekMM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Golinska-PilarekMM11
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora:
A new deduction system for deciding validity in modal logic K. Log. J. IGPL 19(2): 425-434 (2011)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcm/MoraMG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcm/MoraMG11
Ángel Mora, Emilio Muñoz-Velasco, Joanna Golinska-Pilarek:
Implementing a relational theorem prover for modal logic. Int. J. Comput. Math. 88(9): 1869-1884 (2011)
2008
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/pricai/Golinska-PilarekMM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pricai/Golinska-PilarekMM08
Joanna Golinska-Pilarek, Ángel Mora, Emilio Muñoz-Velasco:
An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. PRICAI 2008: 128-139

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.